منابع مشابه
Binding Operators for Nominal Sets
The theory of nominal sets is a rich mathematical framework for studying syntax and variable binding. Within it, we can describe several binding disciplines and derive convenient reasoning principles that are compatible with u�-equivalence. In this article, we introduce the notion of binding operator, a novel construction on nominal sets that unifies and generalizes the many forms of binding pr...
متن کاملPartially continuous pretopological and topological operators for intuitionistic fuzzy sets
In this paper, pretopological and topological operators are introduced based on partially continuous linear transformations of the membership and non-membership functions for intuitionistic fuzzy sets. They turn out to be a generalization of the topological operators for intuitionistic fuzzy sets.On the other hand it is a generalization of the fuzzy set pretopological operators introduced...
متن کاملGeneralised Name Abstraction for Nominal Sets
The Gabbay-Pitts nominal sets model provides a framework for reasoning with names in abstract syntax. It has appealing semantics for name binding, via a functor mapping each nominal set to the ‘atomabstractions’ of its elements. We wish to generalise this construction for applications where sets, lists, or other patterns of names are bound simultaneously. The atom-abstraction functor has left a...
متن کاملNominal renaming sets ( technical report )
Nominal techniques are based on the idea of sets with a finitelysupported atoms-permutation action. In this paper we consider the idea of sets with a finitely-supported atoms-renaming action (renamings can identify atoms; permutations cannot). We show that these exhibit many of the useful qualities found in traditional nominal techniques; an elementary sets-based presentation, inductive datatyp...
متن کاملPOWERSET OPERATORS OF EXTENSIONAL FUZZY SETS
Powerset structures of extensional fuzzy sets in sets with similarity relations are investigated. It is proved that extensional fuzzy sets have powerset structures which are powerset theories in the category of sets with similarity relations, and some of these powerset theories are defined also by algebraic theories (monads). Between Zadeh's fuzzy powerset theory and the classical powerset theo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2016
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2016.09.029